Stacha: a Computerized Modeling Tool for Deds
نویسنده
چکیده
The computerized modeling tool for DEDSs (that are highly event-driven) is given. Statecharts formalism is used for description of the system's behaviour. The graphics-based tool Stacha contains GUI which enables to draw the Statecharts and to specify the behaviour of the system under development. The described modeling tool further enables to analyse the system properties (such as liveness, reachability, ...). Complex system behaviour can be simulated or the system under development can be traced step by step. State configuration changes are displayed, and user can interactively input some controllable events in the system to prevent from occurring of the bad situations (e.g., deadlock). Topics codes: M7, A1
منابع مشابه
Petri Net to Ladder Logic Diagram Converter and a Batch Process Simulation
Discrete-event dynamic systems (DEDS) are characterized by a set of states which the system can take, and by the set of asynchronous events that cause the state changes at discrete time points. Programmable logic controllers (PLCs) are still important special purpose computers used to automate the DEDS in industry. Ladder logic diagrams (LLDs) are still the most popular graphical programming to...
متن کاملA perception framework for inspection and reverse engineering
We address a perception framework for antellagent inspection and reverse engineering in this work. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide the sensing of mechanical parts. We introduce dynamic recursive finite state machines (DRFSM) as a new DEDS tool for utilzzing the recursive nature of the mechanical parts under constderation. The proposed fram...
متن کاملDiscrete Event Dynamic Systems: An Overview
In this report we present an overview for the development of a theory for discrete event dynamic systems (DEDS). Dynamic systems are usually modeled by finite state automata with partially observable events together with a mechanism for enabling and disabling a subset of state transitions. DEDS are attracting considerable interests, current applications are found in manufacturing systems, commu...
متن کاملActive Inspection and Reverse Engineering
We propose a new design for inspection and reverse engineering environments In particular we investigate the use of discrete event dynamic systems DEDS to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering We introduce dynamic recursive nite state machines DRFSM as a new DEDS tool for utilizing the recursive nature of the m...
متن کاملModeling Motion Simulation with DEDS
The computer simulation control problem can be splitted in two parts namely a local control problem and a global control problem The local control de nes the behavior of each object while the global control is responsible for the interactions among the objects In this paper we propose an event oriented scheme to solve the global control problem using concepts related to DEDS Discrete Event Dyna...
متن کامل